mklnk\{\$a:ut2, \$b:ut2, \$n:ut2\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$mkid\{\$a:ut2\}, mkid\{\$b:ut2\}, mkid\{\$n:ut2\}$>$